Nuprl Definition : es-locl
11,40
postcript
pdf
es-locl(
es
;
e
;
e'
) == (loc(
e
) = loc(
e'
))
es-causl(
es
;
e
;
e'
)
latex
clarification:
es-locl(
es
;
e
;
e'
) == (es-loc(
es
;
e
) = es-loc(
es
;
e'
)
Id)
es-causl(
es
;
e
;
e'
)
latex
Definitions
es-causl(
es
;
e
;
e'
)
,
loc(
e
)
,
Id
,
P
Q
FDL editor aliases
es-locl
origin
es-causl(es; e; e')
Id) es-causl(es; e; e') es-causl(es; e; e')
Id) es-causl(es; e; e') Q